-
1 Horn clause logic
Программирование: логика (на базе дизъюнктов) Хорна, логика хорновских дизъюнктов -
2 Horn clause logic
-
3 Horn clause logic
The New English-Russian Dictionary of Radio-electronics > Horn clause logic
-
4 universality of Horn clause logic
Программирование: универсальность логики хорновских дизъюнктовУниверсальный англо-русский словарь > universality of Horn clause logic
-
5 logic
в) логическая схема; логические схемы- active logic
- application logic
- assertion-level logic - base-coupled logic
- binary logic
- bipolar logic
- bit-serial logic
- bubble logic
- buffered logic
- buried-load logic
- business logic
- cache logic
- cellular logic
- charge-coupled logic
- charge-coupled device logic
- chroma invert logic
- clocked logic
- closed C-MOS logic
- collector-coupled logic
- combination logic
- compatible logic - complementary transistor-resistor logic
- computer logic
- control logic
- core logic
- core-transistor logic
- current-hogging logic - current-mode logic
- current-sinking logic
- current-sourcing logic
- degating logic
- designer choice logic - double-railed logic
- dynamic logic - emitter-function logic
- extensional logic
- field-effect transistor logic
- first-order logic
- first-order predicate logic
- formal logic
- full logic
- functional logic
- fuse-programmable array logic
- fuzzy logic
- glue logic - hardware logic
- hard-wired logic
- high-level logic - integrated-circuit logic - latching logic
- local-control logic
- locked-pair logic
- look-ahead carry logic - low-voltage logic - magnetic domain-wall logic
- magnetoelectronic logic
- magnetooptical logic
- majority logic
- mathematical logic - micropower logic
- microwatt logic
- microwave logic
- modal logic
- multiaperture-device logic
- multiemitter-transistor logic
- multilevel logic
- multiphase logic
- multitarget acquisition logic
- multivalued logic
- nanosecond logic
- negative logic
- neighborhood logic - n-level logic
- one-line delay logic
- operation logic
- optical logic
- optoelectronic logic
- pass-transistor logic
- positive logic
- positive true logic
- predicate logic
- programmable logic
- programmable array logic
- quadded logic
- Rambus signaling logic
- random logic
- rapid single flux quantum logic
- reacquisition logic
- Reed-Müller logic
- register transfer logic - resistor-coupled transistor logic - sampling-type logic
- saturated logic
- save-carry logic - Schottky transistor-transistor logic - shared logic
- solid logic
- solid-state logic
- standard logic
- static logic
- stored logic - ternary logic
- tertiary logic
- threshold logic
- tightly-packed logic
- track monitoring logic
- transistor logic - tunnel-diode logic - virtual logic
- voltage-stage logic
- wired program logic -
6 logic
в) логическая схема; логические схемы•- active logic
- application logic
- assertion-level logic
- assisted Gunning transceiver logic
- asynchronous logic
- base-coupled logic
- binary logic
- bipolar logic
- bit-serial logic
- bubble logic
- buffered logic
- buried-load logic
- business logic
- cache logic
- cellular logic
- charge-coupled device logic
- charge-coupled logic
- chroma invert logic
- clocked logic
- closed C-MOS logic
- collector-coupled logic
- combination logic
- compatible current-sinking logic
- compatible logic
- complementary constant-current logic
- complementary resistor-diode-transistor logic
- complementary transistor-resistor logic
- complementary-transistor logic
- computer logic
- control logic
- core logic
- core-transistor logic
- current-hogging injection logic
- current-hogging logic
- current-merged logic
- current-mode logic
- current-sinking logic
- current-sourcing logic
- degating logic
- designer choice logic
- digital summation threshold logic
- diode logic
- diode-transistor logic
- direct-coupled field-effect-transistor logic
- direct-coupled logic
- direct-coupled transistor logic
- direct-coupled unipolar transistor logic
- distributed logic
- domain-tip-propagation logic
- domain-wall logic
- double-railed logic
- dynamic logic
- emitter-coupled current-steering logic
- emitter-coupled logic temperature compensated
- emitter-coupled logic
- emitter-coupled transistor logic
- emitter-emitter coupled logic
- emitter-follower logic
- emitter-function logic
- extensional logic
- field-effect transistor logic
- first-order logic
- first-order predicate logic
- formal logic
- full logic
- functional logic
- fuse-programmable array logic
- fuzzy logic
- glue logic
- Gunning transceiver logic
- half-line delay logic
- hardware logic
- hard-wired logic
- high-level logic
- high-level transistor-transistor logic
- high-noise immunity logic
- high-power logic
- high-threshold logic
- Horn clause logic
- integrated injection logic
- integrated Schottky logic
- integrated-circuit logic
- intensional logic
- isoplanar integrated injection logic
- Josephson logic
- latching logic
- local-control logic
- locked-pair logic
- look-ahead carry logic
- low-level logic
- low-power diode-transistor logic
- low-power logic
- low-power resistor-transistor logic
- low-power Schottky transistor-transistor logic
- low-threshold logic
- low-voltage logic
- low-voltage transistor-transistor logic
- machine logic
- magnetic domain-wall logic
- magnetoelectronic logic
- magnetooptical logic
- majority logic
- mathematical logic
- merged transistor logic
- metal-oxide-semiconductor transistor logic
- microcontrol logic
- micropower logic
- microwatt logic
- microwave logic
- modal logic
- multiaperture-device logic
- multiemitter-transistor logic
- multilevel logic
- multiphase logic
- multitarget acquisition logic
- multivalued logic
- nanosecond logic
- negative logic
- negative true logic
- neighborhood logic
- n-level logic
- one-line delay logic
- operation logic
- optical logic
- optoelectronic logic
- pass-transistor logic
- positive logic
- positive true logic
- predicate logic
- programmable array logic
- programmable logic
- quadded logic
- Rambus signaling logic
- random logic
- rapid single flux quantum logic
- reacquisition logic
- Reed-Müller logic
- register transfer logic
- resistor-capacitor diode-transistor logic
- resistor-capacitor transistor logic
- resistor-coupled transistor logic
- resistor-transistor logic
- RSFQ logic
- sampling-type logic
- saturated logic
- save-carry logic
- Schottky transistor logic
- Schottky transistor-transistor logic
- Schottky-diode FET logic
- self-aligned superinjection logic
- sequential logic
- shared logic
- solid logic
- solid-state logic
- standard logic
- static logic
- stored logic
- substrate-fed logic
- symbolic logic
- symmetrical emitter-coupled logic
- synchronous logic
- ternary logic
- tertiary logic
- threshold logic
- tightly-packed logic
- track monitoring logic
- transistor current-steering logic
- transistor logic
- transistor-coupled logic
- transistor-diode logic
- transistor-resistor logic
- transistor-transistor logic
- tri-state logic
- tunnel-diode charge-transformer logic
- tunnel-diode coupled logic
- tunnel-diode logic
- tunnel-diode transistor logic
- unsaturated logic
- variable-threshold logic
- vertical injection logic
- virtual logic
- voltage-stage logic
- wired program logicThe New English-Russian Dictionary of Radio-electronics > logic
См. также в других словарях:
Horn clause — In mathematical logic, a Horn clause is a clause (a disjunction of literals) with at most one positive literal. They are named after the logician Alfred Horn, who first pointed out the significance of such clauses in 1951. Horn clauses play a… … Wikipedia
Clause (logic) — For other uses, see Clause (disambiguation). In logic, a clause is a finite disjunction of literals.[1] Clauses are usually written as follows, where the symbols li are literals: In some cases, clauses are written (or defined) as sets of literals … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Horn — may refer to: * Horn (anatomy), the pointed projection of the skin of various animals, as an organ or its material * Horn (surname)In music and sound * Horn (instrument), sometimes called a French horn, a brass musical instrument constructed of… … Wikipedia
Horn (surname) — Horn is a surname, and may refer to:* Alan F. Horn * Alfred Horn (1918–2001), American mathematician ** Horn clause is a term in formal logic named after him * Alfred Aloysius Trader Horn, an African trader during the Scramble for Africa * Anton… … Wikipedia
Horn-satisfiability — In formal logic, Horn satisfiability, or HORNSAT, is the problem of deciding whether a given set of propositional Horn clauses is satisfiable.A Horn clause is a clause with at most one positive literal, called the head of the clause, and any… … Wikipedia
Clause De Horn — Pour les articles homonymes, voir Horn. La dénomination « clause de Horn » vient du nom du logicien Alfred Horn qui, le premier, met en évidence l’intérêt de telles clauses en 1951 dans l’article « On sentences which are true of… … Wikipédia en Français
Clause de horn — Pour les articles homonymes, voir Horn. La dénomination « clause de Horn » vient du nom du logicien Alfred Horn qui, le premier, met en évidence l’intérêt de telles clauses en 1951 dans l’article « On sentences which are true of… … Wikipédia en Français
Algebraic Logic Functional programming language — also known as ALF is a programming language which combines functional and logic programming techniques. Its foundation is Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and… … Wikipedia
Clause de Horn — Pour les articles homonymes, voir Horn. En logique, en particulier en calcul propositionnel, une clause de Horn est une clause comportant au plus un littéral positif. Il existe donc trois types de clauses de Horn : celles qui comportent un… … Wikipédia en Français
Category:Logic in computer science — Logic in computer science is that branch of mathematical logic which is approximately the intersection between mathematical logic and computer science. It contains: Those investigations into logic that are guided by applications in computer… … Wikipedia